<?php
if (!isset($_SESSION)) {
    session_start();
} else {
    $server = $_SERVER['SERVER_NAME']; //Nome do servidor
    $endereco = $_SERVER['REQUEST_URI']; //Nome do arquivo apÃ³s a barra
    header("Location: index.php"); //Irá¡ para a pagina de login
}
?>